|
Examples of Splitting Fields
Let us now give some examples of splitting fields. Throughout this section let F be a field, f F[X], Ef = a splitting field of f over F.
Example 1: F = Q, f = X2 + aX + b (a,b Q).
the zeros of f in C are given by the quadratic formula
(-a +  )/2, (-a -  )/2,
where denotes one of the square roots of a2 - 4b in C. Therefore, since a Q, we see that
(1)
E f = Q(  ).
Let us analyze the situation further: We consider two cases.
Case 1: f is reducible in Q[X].
In this case, the zeros of f are contained in Q and Ef = Q and deg(Ef /Q) = 1.
Case 2: f is irreducible in Q[X].
Note that by (1), Ef can be obtained from Q by adjoining either one of those zeros of f. Therefore, by Theorem 3 of the section on algebraic numbers,
deg(E f / Q) = deg( f ) = 2.
Example 2: F = Q, f = Xn - 1.
The zeros of f in C are just the nth roots of 1. Let be a primitive nth root of 1. Then the zeros of f are
Since all these roots are contained in Q( ). we see that
E f = Q(  ).
The field Ef is called the nth cyclotomic field. The term "cyclotomic" means "circle dividing" and the reason for this terminology is that the field Ef was first considered in connection with the problem of constructing a regular polygon of n sides using only a ruler and compass.
Let us determine the degree of Q( ) over Q. The best way to do this is to determine IrrQ( ,X). For by Theorem 3 of the section on algebraic numbers,
(2)
Set
(3)
Then n(X) is called the nth cyclotomic polynomial. It first appears that n(X) has complex coefficients. But actually the coefficients of n(X) are rational and, in fact, are even integers. Note the zeros of n(X) are just the (n) distinct nth roots of 1. Moreover, if is an nth root of 1, let d be the order of as an element of the group Xn of the nth roots of 1. Then d is the smallest positive integer such that d = 1 and is a primitive dth root of 1. Moreover, since the order of Xn is n and the order of an element divides the order of the group, we see that d|n. Thus, every nth root of 1 is a primitive dth root of unity for some uniquely determined d which divides n. Therefore,
X n - 1 =  (X -  )
(4)
= 
= d(X).
Let us use formula (4) to compute n(X) for the first few n. For n = 1, (4) reads
(5)
1(X) = X - 1.
For n = 2, formula (4) reads
1(X) · 2(X) = X 2 - 1.
Therefore, by (5),
(6)
2(X) = X + 1.
For n = 3, (4) reads
X 3 - 1 = 1 · 3(X),
and thus by (5),
(7)
3(X) = (X 3 - 1)/(X - 1) = X 2 + X + 1
For n = 4, (4) reads
X 4 - 1 = 1(X) · 2(X) · 4(X),
and thus by (5) and (6),
4(X) = (X 4 - 1)/[(X - 1)(X + 1)]
(8)
= X2 + 1.
From these few computation, it becomes clear that if we have computed d(X) for all d < n, then we may use (4) to compute n(X) from
(9)
We observe that 1(X) has rational coefficients. Moreover, if d(X) is assumed to have rational coefficients for all d < n, then (9) implies that n(X) has rational coefficients, since n(X) is computed from d(X) (d < n) using only rational operations. Thus, by induction,
(10)
n(X) Q[X] (n > 1).
A more careful analysis of the algorithm for computing n shows that n Z[X]. It is clear that n(X) is a monic polynomial having as a zero. Thus if we knew that n(X) were irreducible in Q[X], we could deduce that
= deg( n(X))
where (n) denotes Euler's -function. The proof of the irreducibility of n(X) is included in an appendix, but for the moment, let us record
Theorem 1: If is a primitive nth root of 1, then deg(Q( )/Q) = (n).
Example 3: F = Q, f = X2 - 2.
Let denote the real cube root of 2. Then the zeros of X3 - 2 in C are all the cube roots of 2, given by
where = (-1 + i )/2 is a primitive cube root of 1. Moreover,
(11)
= Q(  ,  ).
Since X3 - 2 is irreducible in Q[X], by Eisenstein's criterion,
(12)
deg( Q(  )/ Q) = 3.
Moreover, is a zero of X2 + X + 1 Q( )[X], IrrQ( )( ,X)|X2 + X + 1. and therefore,
Thus, by Theorem 3 in the section on algebraic extensions,
deg( Q(  ,  )/ Q) = deg( Q(  ,  )/ Q(  )) · deg( Q(  )/ Q)
(13)
< 2 · 3 = 6
Note, however, that X2 + X + 1 is irreducible over Q by Example 1. Therefore,
(14)
deg( Q(  )/ Q) = 2.
But by Theorem 3 of algebraic extensions and (14),
(15)
Similarly,
(16)
by (15). By (15) and (16), we see that
6|deg( Q(  ,  )/ Q)
(17)
Finally, by (13) and (17),
(18)
deg( Q(  ,  )/ Q) = 6.
Example 4: Let F = Q, f = Xn - a (n > 1, a Q).
Let a1/n be any nth root of a in C and let be a primitive nth root of 1. The zeros of f are just the nth roots of a and therefore are
a 1/n, a 1/n , a 1/n 2, ..., a 1/n n-1.
Thus,
E f = Q(a 1/n, a 1/n , ..., a 1/n n-1)
= Q(a 1/n,  ).
Calculating the degree of Ef over Q is a rather intricate problem, and we will not consider a complete solution at this time. However, let us say what we can without undue expenditure of effort. Note that
and
deg(E f / Q) = deg(E f / Q(  )) · deg( Q(  )/ Q)
(19)
by Theorem 1. Therefore, in order to compute deg(Ef /Q), we must compute deg(Ef /Q( )). And, in turn, to compute deg(Ef /Q( )), we must compute
deg( IrrQ( )(a 1/n,X)).
Since Xn - a is a polynomial in Q( )[X] having a1/n as a zero, we see that
IrrQ( )(a 1/n,X)|X n - a,
and therefore,
deg(E f / Q(  )) = deg( IrrQ( )(a 1/n,X))
< deg(Xn - a)
= n.
Thus, finally, by (19) we see that
(20)
In special cases, we can compute deg(Ef /Q) exactly. For example,
Theorem 2: Let p be prime and suppose that f = Xp - a is irreducible in Q[X]. Then
Proof: Since p is prime, we have
(21)
(22)
(p - 1, p) = 1.
By equations (19) and (21), p - 1|deg(Ef /Q). Since Xp - a is irreducible in Q[X],
Therefore, since
deg(E f / Q) = deg(E f / Q(a 1/p)) · deg( Q(a 1/p)/ Q)
we see that
Thus, by (22), we have p(p - 1)|deg(Ef /Q). However, by (20), we see that deg(Ef /Q) < p(p - 1), and hence the proof of the theorem is complete.
Example 5: Let F be a subfield of C which contains the nth roots of 1 for some n > 1. and let f = Xn - 1 (a F). If a1/n is one nth root of a in C, then the zeros of f are
a 1/n, a 1/n , ..., a 1/n n-1,
where is a primitive nth root of 1. Therefore, since F,
E f = F(a 1/n, a 1/n , ..., a 1/n n-1)
= F(a1/n).
The extension F(a1/n)/F is a typical example of what is called a Kummer extension.
|